7
7.0

Oct 26, 2020
10/20

by
Davis, Philip J., 1923-

texts

#
eye 7

#
favorite 1

#
comment 0

xlvi, 242 p. : 24 cm

Topics: Logic, Symbolic and mathematical -- Methodology, Reasoning, Common sense, Knowledge, Theory of

Folkscanomy: A Library of Books

466
466

Dec 29, 2015
12/15

by
JELIA (Conference) (9th : 2004 : Lisbon, Portugal); Alferes, José Júlio; Leite, João Alexandre

texts

#
eye 466

#
favorite 0

#
comment 0

Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings Author: Jóse Júlio Alferes, João Leite Published by Springer Berlin Heidelberg ISBN: 978-3-540-23242-1 DOI: 10.1007/b100483 Table of Contents: Representing and Reasoning with Preferences Engineering of Logics for the Content-Based Representation of Information Formal Methods in Robotics Games for Cognitive Agents Knowledge-Theoretic Properties of Strategic Voting The...

Topics: Artificial intelligence, Logic, Symbolic and mathematical, Intelligence artificielle, Logique...

12
12

Jun 11, 2018
06/18

by
FroCoS (Symposium) (4th : 2002 : Santa Margherita Ligure, Italy)

texts

#
eye 12

#
favorite 0

#
comment 0

viii, 254 pages : 24 cm

Topics: Logic, Symbolic and mathematical -- Congresses, Computer science -- Congresses, Logique symbolique...

27
27

Aug 9, 2019
08/19

by
Thomason, Richmond H

texts

#
eye 27

#
favorite 1

#
comment 0

xiii, 367 p. ; 24 cm

Topic: Logic, Symbolic and mathematical

259
259

Aug 23, 2011
08/11

by
Kelly, John J. (John Joseph), 1940 Nov. 23-1995

texts

#
eye 259

#
favorite 2

#
comment 0

Includes bibliographical references (p. 250) and index

Topics: Computer science, Logic, Symbolic and mathematical

24
24

Jun 14, 2019
06/19

by
Hooker, John, 1949-

texts

#
eye 24

#
favorite 0

#
comment 0

xvi, 495 p. : 25 cm

Topics: Linear programming, Mathematical optimization, Logic, Symbolic and mathematical

1
1.0

texts

#
eye 1

#
favorite 0

#
comment 0

vi, 424 p. ; 25 cm

Topics: Computer programs -- Congresses, Logic, Symbolic and mathematical -- Congresses

5
5.0

Dec 19, 2020
12/20

by
Habel, A. (Annegret)

texts

#
eye 5

#
favorite 0

#
comment 0

x, 214 pages : 25 cm

Topics: Computer science, Graph grammars, Informatique, Grammaires de graphes, Graph-Grammatik, Hypergraph,...

5
5.0

Oct 23, 2020
10/20

by
Barwise, Jon

texts

#
eye 5

#
favorite 0

#
comment 0

xvii, 255 pages : 26 cm +

Topics: Hyperproof, Computer science, Logic, Symbolic and mathematical, Macintosh (Computer), Informatica,...

92
92

Nov 11, 2019
11/19

by
Lewis, Harry R

texts

#
eye 92

#
favorite 3

#
comment 0

xiv, 466 pages : 24 cm

Topics: Automatentheorie, Informatica, Fonctions calculables, Complexité de calcul (informatique), Formal...

2
2.0

texts

#
eye 2

#
favorite 0

#
comment 0

x, 270 p. : 24 cm

Topics: Formal languages -- Congresses, Logic, Symbolic and mathematical -- Congresses

13
13

Sep 3, 2019
09/19

by
Boolos, George

texts

#
eye 13

#
favorite 0

#
comment 0

x, 285 p. ; 24 cm

Topics: Computable functions, Logic, Symbolic and mathematical, Recursive functions

Source: removedNEL

10
10.0

Oct 25, 2018
10/18

by
Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)

texts

#
eye 10

#
favorite 0

#
comment 0

xi, 348 pages : 24 cm

Topics: Automatic theorem proving -- Congresses, Logic, Symbolic and mathematical -- Congresses,...

15
15

Sep 6, 2019
09/19

by
Grandy, Richard E

texts

#
eye 15

#
favorite 0

#
comment 0

xi, 167 p. : 23 cm

Topic: Logic, Symbolic and mathematical

35
35

texts

#
eye 35

#
favorite 0

#
comment 0

viii, 384 p. : 24 cm

Topics: Logic, Symbolic and mathematical, Reasoning

9
9.0

Sep 16, 2019
09/19

by
Biri͡ukov, B. V. (Boris Vladimirovich)

texts

#
eye 9

#
favorite 0

#
comment 0

101 p. 23 cm

Topics: Frege, Gottlob, 1848-1925, Logic, Symbolic and mathematical

26
26

Apr 11, 2019
04/19

by
Descartes, René, 1596-1650

texts

#
eye 26

#
favorite 0

#
comment 0

151 p. 19 cm

Topics: Logic, Symbolic and mathematical, Reasoning

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings Author: Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira Published by Springer Berlin Heidelberg ISBN: 978-3-540-41131-4 DOI: 10.1007/3-540-40006-0 Table of Contents: ‘On Being Informed’: Update Logics for Knowledge States Considerations on Updates of Logic Programs The Semi-qualitative Reasoning about Distances: A Preliminary Report...

Topics: Artificial intelligence, Logic, Symbolic and mathematical

Bibliography: p. 45-46

Topics: Formal languages, Logic, Symbolic and mathematical

This volume was digitized and made accessible online due to deterioration of the original print copy.

Topics: Industrial location, Logic, Symbolic and mathematical.

1
1.0

Jul 31, 2019
07/19

by
Lindström, Per, 1936-

texts

#
eye 1

#
favorite 0

#
comment 0

16 p. ; 21 cm

Topics: Logic, Symbolic and mathematical, Model theory

124
124

Sep 6, 2019
09/19

by
Gentzen, Gerhard

texts

#
eye 124

#
favorite 4

#
comment 0

xii, 338 p., 2 p. of photos. ; 23 cm

Topics: Logic, Symbolic and mathematical, Metamathematics

59
59

Aug 31, 2019
08/19

by
Hatcher, William S

texts

#
eye 59

#
favorite 3

#
comment 0

xiii, 327 p. : 25 cm

Topics: Logic, Symbolic and mathematical, Mathematics -- Philosophy

21
21

Aug 13, 2019
08/19

by
Couturat, Louis, 1868-1914

texts

#
eye 21

#
favorite 1

#
comment 0

100 p

Topic: Logic, Symbolic and mathematical

88
88

Sep 30, 2010
09/10

by
Paulos, John Allen

texts

#
eye 88

#
favorite 2

#
comment 0

Includes bibliographical references (p. [203]-205) and index

Topics: Mathematical statistics, Logic, Symbolic and mathematical, Lógica simbólica y matemática,...

9
9.0

Nov 19, 2020
11/20

by
Ostrow, Matthew B., 1961-

texts

#
eye 9

#
favorite 0

#
comment 0

1 online resource (xi, 175 pages)

Topics: Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus, Wittgenstein, Ludwig, 1889-1951...

This volume was digitized and made accessible online due to deterioration of the original print copy.

Topics: Automatic theorem proving, Logic, Symbolic and mathematical, Predicate calculus--Data processing,...

35
35

Sep 5, 2019
09/19

by
International Congress for Logic, Methodology, and Philosophy of Science (2d : 1964 : Jerusalem)

texts

#
eye 35

#
favorite 1

#
comment 0

viii, 440 p. : 24 cm

Topics: Logic, Symbolic and mathematical -- Congresses, Science -- Methodology -- Congresses, Science --...

67 p. : 27 cm

Topic: Logic, Symbolic and mathematical

Folkscanomy: A Library of Books

98
98

Dec 29, 2015
12/15

by
International Colloquium on Grammatical Inference (7th : 2004 : Athens, Greece); Paliouras, Georgios, 1970-; Sakakibara, Yasubumi

texts

#
eye 98

#
favorite 0

#
comment 0

Author: Published by ISBN: DOI: Table of Contents:

Topics: Formal languages, Logic, Symbolic and mathematical

Folkscanomy: A Library of Books

255
255

Dec 29, 2015
12/15

by
International Conference on Formal Concept Analysis (2nd : 2004 : Sydney, N.S.W.); Eklund, Peter W., 1962-; SpringerLink (Online service)

texts

#
eye 255

#
favorite 0

#
comment 0

Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings Author: Peter Eklund Published by Springer Berlin Heidelberg ISBN: 978-3-540-21043-6 DOI: 10.1007/b95548 Table of Contents: Preconcept Algebras and Generalized Double Boolean Algebras Protoconcept Graphs: The Lattice of Conceptual Contents Signs and Formal Concepts A Mathematical Model for TOSCANA-Systems: Conceptual Data Systems BLID: An Application of...

Topics: Lattice theory, Comprehension (Theory of knowledge), Information theory, Artificial intelligence,...

2
2.0

Jul 2, 2021
07/21

by
King, Andrew, 1961-

texts

#
eye 2

#
favorite 0

#
comment 0

32 pages : 28 cm

Topics: Mathematical recreations, Logic, Symbolic and mathematical -- Study and teaching

34
34

Mar 24, 2020
03/20

by
McDonough, Richard M., 1950-

texts

#
eye 34

#
favorite 1

#
comment 0

xii, 311 pages ; 24 cm

Topics: Language and languages Philosophy, Wittgenstein, Ludwig 1889-1951 Tractatus logico-philosophicus,...

14
14

Aug 10, 2019
08/19

by
Rosser, J. Barkley (John Barkley), 1907-

texts

#
eye 14

#
favorite 2

#
comment 0

124 p. ; 22 cm

Topic: Logic, Symbolic and mathematical

600
600

Apr 12, 2009
04/09

by
Venn, John, 1834-1923

texts

#
eye 600

#
favorite 0

#
comment 0

Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.

Topics: Chance, Probabilities, Science, Logic, Symbolic and mathematical

Source: http://books.google.com/books?id=DeyOZkBUVoAC&oe=UTF-8

9
9.0

Sep 9, 2019
09/19

by
Faris, John Acheson

texts

#
eye 9

#
favorite 1

#
comment 0

vii, 147 p. ; 18 cm

Topic: Logic, Symbolic and mathematical

3
3.0

Jul 29, 2019
07/19

by
Crossley, John N

texts

#
eye 3

#
favorite 0

#
comment 0

225 p. ; 23 cm. --

Topic: Logic, Symbolic and mathematical

36
36

Sep 5, 2019
09/19

by
Schagrin, Morton L

texts

#
eye 36

#
favorite 2

#
comment 0

vii, 247 p. ; 24 cm

Topic: Logic, Symbolic and mathematical -- Programmed instruction

1
1.0

Jun 10, 2021
06/21

by
Zinoviev, Aleksandr, 1922-2006

texts

#
eye 1

#
favorite 0

#
comment 0

xxii, 301 p. 23 cm

Topic: Logic, Symbolic and mathematical

9
9.0

Apr 27, 2019
04/19

by
Beth, Evert Willem

texts

#
eye 9

#
favorite 0

#
comment 0

50 p. 26 cm

Topics: Logic, Symbolic and mathematical, Mathematics -- Philosophy

7
7.0

Aug 8, 2019
08/19

by
Honig, William M

texts

#
eye 7

#
favorite 0

#
comment 0

xviii, 280 p. : 22 cm

Topics: Logic, symbolic and mathematical, Mathematical physics, Metric spaces, Nonstandard mathematical...

3
3.0

Jul 29, 2020
07/20

by
Küng, Guido

texts

#
eye 3

#
favorite 0

#
comment 0

xi, 213 p. 22 cm

Topics: Analysis (Philosophy), Logic, Symbolic and mathematical, Semantics (Philosophy)

28
28

Sep 10, 2019
09/19

by
Pólya, George, 1887-1985

texts

#
eye 28

#
favorite 1

#
comment 0

2 v. : 25 cm

Topics: Logic, Symbolic and mathematical, Mathematics -- Philosophy

13
13

Jun 13, 2019
06/19

by
Felscher, Walter

texts

#
eye 13

#
favorite 2

#
comment 0

3 v. : 24 cm

Topic: Logic, Symbolic and mathematical

46
46

Sep 5, 2019
09/19

by
De Morgan, Augustus, 1806-1871

texts

#
eye 46

#
favorite 2

#
comment 0

xxxi, 355 p. : 23 cm

Topics: Logic, Symbolic and mathematical, Syllogism

21
21

Feb 24, 2020
02/20

by
Black, Max, 1909-1988

texts

#
eye 21

#
favorite 0

#
comment 0

xiv, 219 pages ; 23 cm

Topics: Whitehead, Alfred North, 1861-1947. Principia mathematica, Mathematics -- Philosophy, Logic,...

34
34

Jan 28, 2019
01/19

by
Wilder, Raymond Louis, 1896-

texts

#
eye 34

#
favorite 1

#
comment 0

xiv, 305 p. ; 24 cm

Topics: Logic, Symbolic and mathematical, Mathematics -- Methodology

24
24

Sep 16, 2019
09/19

by
Herbrand, Jacques, 1908-1931

texts

#
eye 24

#
favorite 0

#
comment 0

244 p. : 22 cm

Topic: Logic, Symbolic and mathematical

Microfilm

Topics: Knowledge, Theory of, Logic, Symbolic and mathematical, Belief and doubt

29
29

Jun 21, 2019
06/19

by
Yasuhara, Ann

texts

#
eye 29

#
favorite 0

#
comment 0

xv, 338 p.; 24 cm. -

Topics: Logic, Symbolic and mathematical, Recursive functions